extern char *a_names[];
extern char *asi_names[];
extern char *cd_names[];
extern char *cond_names[];
extern char *disp22_names[];
extern char *disp30_names[];
extern char *fdd_names[];
extern char *fdq_names[];
extern char *fds_names[];
extern char *fs1d_names[];
extern char *fs1q_names[];
extern char *fs1s_names[];
extern char *fs2d_names[];
extern char *fs2q_names[];
extern char *fs2s_names[];
extern char *i_names[];
extern char *imm22_names[];
extern char *inst_names[];
extern char *op_names[];
extern char *op2_names[];
extern char *op3_names[];
extern char *opf_names[];
extern char *rd_names[];
extern char *rdi_names[];
extern char *rs1_names[];
extern char *rs1i_names[];
extern char *rs2_names[];
extern char *simm13_names[];
